双悬臂梁桥试验检测及安全技术评价

双悬臂梁桥为我国在上世纪60年代至90年代期间为解决桥梁跨度不足而使用的一种结构。结构主要以锚固孔和挂梁孔组成。该种桥梁的病害主要体现在牛腿的受力薄弱位置的抗剪能力不足。该文对位于吉林省延边州G302国道上的嘎呀河大桥的试验检测过程作了介绍,以期为今后此类桥梁评定作为借鉴。     

形式化可测性约束在软件模型实现过程中的研究

在软件测试中，软件使用模型反映实际运行场景的能力是直接决定测试的成功与否的关键因素之一。一般可以通过对在需求分析阶段已生成的UML建模进行研究得到使用模型，但原始的UML模型，由于缺乏严格的定义及必要的约束，如果要生成高精度的软件模型，必须对其添加必要的形式化可测性约束。这正是文章研究的重点。     

西禹高速公路留芳沟桥承载能力检测与评估

西禹高速公路留芳沟桥梁体存在较多裂缝,属于病害桥梁。文中应用无损检测和静载试验来确定桥梁的实际承载能力。检测结果表明该桥有效预应力不足,需进行加固处理。     

超声法检测码头结构性裂缝的局限性

通过对某高桩码头横梁裂缝深度的超声检测、骑缝取芯验证,说明对于活荷载引起的结构性裂缝,由于卸载后裂缝重新闭合,超声法检测存在局限性。试验表明,对结构加载后再作超声检测,则效果显著。     

基于知识积累的软件运行剖面生成方法及黑箱测试技术

软件的黑箱测试是一个面向用户的软件测试方法，当它以运行剖面为基础生成测试案例时，运行剖面的完备性将直接影响其测试结果的可信性，基于知识积累的软件运行剖面生成方法就是试图通过知识的获取和积累使生成的运行剖面日趋完备，从而达到黑箱测试技术在某些特殊的软件测试领域中更具实用和可信。文章讨论了软件 运行剖面的完备性和软件失效类等概念，提出了一种基于知识各界的软件运行剖面生成广阔圾黑箱测试技术，这种技术现已     

船模快速性试验的分析计算系统及其应用

介绍交通部上海船舶运输科学研究所最近开发的船模快速性试验分析计算程序系统。该系统是在原ＶＡＸ机上使用的３套计算机程序基础上发展而来的，具有精度高、程序中各种选择可灵活组合、拟合插值量与试验点值之间的偏差和标准差可显示等特点。因此该系统比以往使用的计算程序更能适合船模试验委托方所提出的种种要求，是一个比较理想的程序系统。作为系统的应用，给出了阻力、敞水、自航中试验点处的标准差，其值可作为快速性试验在计算阶段引起的不确定度基础。另外用４条船为例，考察了计算中因不同选择引起的结果差异。本系统还能作为快速性预报应用软件中的一个功能模块。     

某型350MVA短路试验发电机试验系统突然短路的研究

通过对350MVA短路试验发电机试验系统突然短路时短路电流的分析和计算，导出试验系统短路电流值。给出了本系统交、直流最大短路电流的实用计算方法。为电力系统继电保护提供了理论依据。同时，通过试验验证计算方法的有效性。     

地铁计算机联锁系统测试工装的研究

针对当前轨道交通铁路信号维修中任务重、要求高的特点,提出通过测试工装实现备件状态的实时掌握,减少更换模块出现的不确定现象,做到替换上就可以用。对联锁测试工装的功能和测试方法做了基本的阐述,对地铁轨道交通CBTC的整体测试工装的研制,提供一个样板。     

挖入式港池泥沙淤积及减淤措施试验研究

通过试验,结合部分理论分析,研究了挖入式港池泥沙淤积特性,分析了产生淤积的原因,在此基础上提出3种减淤措施。试验结果表明:港池内泥沙淤积主要由回流及异重流引起,淤积物分布具有一定规律,回流产生的淤积集中在口门附近,粒径较粗,而由异重流引起的淤积在港池内沿程分布,粒径较细。提出的方案能够达到减淤的目的,可以用于实际工程。     

厦门湾悬沙分布的多时相遥感分析

利用厦门湾地区多时相遥感图像反演出表层悬沙浓度分布图,进而定性分析不同径流和潮流下悬沙分布规律。研究表明,九龙江河口湾为该地区悬沙浓度最高的区域,分布上具有"西高东低"的特征。全湾悬沙来源主要为两部分:径流来沙以及波浪和潮流掀沙。潮流运动是泥沙输送的主要动力,由于弗劳德数分布不同而引起的潮流挟沙力空间差异,是影响厦门湾悬沙分布的主导因素。利用实测泥沙资料将不同时相下瞬时悬沙浓度转换为全潮平均悬沙浓度以进行定量分析,结果表明悬沙浓度具有大潮大于小潮,枯季大于洪季的特征。